металогика


металогика
        МЕТАЛОГИКА (от греч. meta - после и логика). Если предметом логики являются рассуждения, то предметом М. являются рассуждения о рассуждениях. Поскольку современное развитие логики привело к тому, что сами рассуждения образуют те или иные логические системы, то основной целью М. становится изучение свойств этих систем, напр. таких как непротиворечивость, полнота и не полнота (см. Полнота логических исчислений), разрешимость и неразрешимость (см. Разрешения проблема). Все это потребовало развития теории доказательств, которая называется метаматематикой, а иногда - М. Обратим внимание на одну особенность такой М.: напр., изучение свойств классической логики может производится как средствами этой логики, так и средствами др. логики, напр., конструктивной логики, или, наоборот, доказательство полноты для интуиционистской логики может быть классическим или конструктивным. Характеризация фундаментальных логических систем, напр., таких как первопорядовая логика (см. Логика предикатов) в терминах ее глобальных свойств (компактность, категоричность и т.д.), также является предметом М., хотя традиционно это относится к теории моделей. Отдельным полем деятельности М. является рассмотрение различных взаимоотношений между логическими системами и, в первую очередь, погружение одних логических систем в др. При этом по свойствам одной системы выявляются свойства др. системы. В последнее время все более актуальным становится исследование не отдельных логических систем, какими интересными они не были бы, а изучение целых классов (порой континуальных) систем, упорядоченных решеточным образом. Свойства этих решеток, элементами которых являются всевозможные логические системы или логические теории (см. Теория в логике), - совершенно новый аспект М., хотя впервые на такой подход указал А. Тарскии. Основные работы в области М. принадлежат Г. Фреге, Э. Посту, Т. Сколему, представителям Львовско-Варшавской школы логиков, Д. Гильберту, К. Геделю, П. Линдстрему, А. Черчу, Р. Карнапу и др.
        А.С. Карпенко
        Лит.: Клини С.К. Введение в метаматематику. М., 195 7.

Энциклопедия эпистемологии и философии науки. М.: «Канон+», РООИ «Реабилитация». . 2009.

Смотреть что такое "металогика" в других словарях:

  • металогика — металогика …   Орфографический словарь-справочник

  • МЕТАЛОГИКА — раздел логики, в котором изучаются логические исчисления и формализованные логические теории. В рамках данного раздела изучаются все те универсальные отношения, которые могут иметь место между смысловыми значениями символов того или иного языка;… …   Философская энциклопедия

  • Металогика — Металогика  изучение метатеории логики. В то время, как логика представляет собой исследование способов применения логических систем для рассуждения, доказательств и опровержений, металогика исследует свойства самих логических систем. К… …   Википедия

  • МЕТАЛОГИКА — область метатеоретических исследований проблем логики. См. Метатеория …   Большой Энциклопедический словарь

  • металогика — область метатеоретических исследований проблем логики. См. Метатеория. * * * МЕТАЛОГИКА МЕТАЛОГИКА, область метатеоретических исследований проблем логики. См. Метатеория (см. МЕТАТЕОРИЯ) …   Энциклопедический словарь

  • Металогика — (от Мета...)         часть логики, посвященная изучению метатеоретическими средствами (см. Метатеория) строения и свойств различных логических теорий. Возникшая на рубеже 19 и 20 вв. в связи с исследованиями оснований дедуктивных наук (прежде… …   Большая советская энциклопедия

  • МЕТАЛОГИКА — логика, используемая в рассуждениях о формальной аксиоматич. теории в рамках пек рой метатеории. В основаниях математики к метатеории часто предъявляются специфич. требования, связанные с отказом от нек рых употребительных математич. абстракций с …   Математическая энциклопедия

  • металогика — метал огика, и …   Русский орфографический словарь

  • металогика — (1 ж) …   Орфографический словарь русского языка

  • металогика — метало/гика, и …   Слитно. Раздельно. Через дефис.

Книги



Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.